Merge pull request #10318 from jalowiczor/master
authorRosen Penev <[email protected]>
Wed, 23 Oct 2019 01:54:03 +0000 (18:54 -0700)
committerGitHub <[email protected]>
Wed, 23 Oct 2019 01:54:03 +0000 (18:54 -0700)
poco:InstallDev section changed due to poco all problems


Trivial merge